COHERENT EXTENSION OF PARTIAL AUTOMORPHISMS, FREE AMALGAMATION AND AUTOMORPHISM GROUPS
نویسندگان
چکیده
منابع مشابه
ar X iv : 1 70 5 . 01 88 8 v 2 [ m at h . L O ] 1 8 Ju l 2 01 7 COHERENT EXTENSION OF PARTIAL AUTOMORPHISMS , FREE AMALGAMATION , AND AUTOMORPHISM GROUPS
We give strengthened versions of the Herwig–Lascar and Hodkinson–Otto extension theorems for partial automorphisms of finite structures. Such strengthenings yield several combinatorial and group-theoretic consequences for homogeneous structures. For instance, we establish a coherent form of the extension property for partial automorphisms for certain Fräıssé classes. We deduce from these result...
متن کاملSome Remarks on Commuting Fixed Point Free Automorphisms of Groups
In this article we will find necessary and sufficient conditions for a fixed point free automorphism (fpf automorphism) of a group to be a commuting automorphism. For a given prime we find the smallest order of a non abelian p-group admitting a commuting f...
متن کاملExtending Partial Automorphisms and the Proonite Topology on Free Groups
A class of structures C is said to have the extension property for partial automorphisms (EPPA) if, whenever C 1 and C 2 are structures in C, C 1 nite, C 1 C 2 , and p 1 , p 2 , : : :, p n are partial automorphisms of C 1 extending to automorphisms of C 2 , then there exist a nite structure C 3 in C and automorphisms 1 , 2 , : : :, n of C 3 extending the p i. We will prove that some classes of ...
متن کاملExtending Partial Automorphisms and the Profinite Topology on Free Groups
A class of structures C is said to have the extension property for partial automorphisms (EPPA) if, whenever C1 and C2 are structures in C, C1 finite, C1 ⊆ C2, and p1, p2, . . . , pn are partial automorphisms of C1 extending to automorphisms of C2, then there exist a finite structure C3 in C and automorphisms α1, α2, . . . , αn of C3 extending the pi. We will prove that some classes of structur...
متن کاملAutomorphism Groups of Partial Orders
1. The automorphism group T(P) of a partial order P is the collection of all order preserving permutations (automorphisms) of P, a subgroup of the symmetric group on P. If P and g are partial orders then P x g becomes a partial order by reverse lexicography: (p, q) < (p', q') if q < q' or q = q' and p < p'. If ƒ is a function whose domain contains the element a, we use af to denote the image of...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: The Journal of Symbolic Logic
سال: 2019
ISSN: 0022-4812,1943-5886
DOI: 10.1017/jsl.2019.32